Paradoxes in intuitionistic type theory
- Författare
- Stockholms universitet Susanne Thon
- (Susanne Thon.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Matematiska institutionen, Stockholms universitet | 2007 | Sverige, Stockholm | 55 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Matematiska institutionen, Stockholms universitet | 2007 | Sverige, Stockholm | 55 sidor. |